Update both the MediaWiki version and the min required PHP version in PHPVersionError.php
authorReedy <reedy@wikimedia.org>
Fri, 4 May 2012 19:08:23 +0000 (20:08 +0100)
committerReedy <reedy@wikimedia.org>
Fri, 4 May 2012 19:08:23 +0000 (20:08 +0100)
commit144c8a5f9944c083a98e836c18cd190d87194ff5
tree2bd9b42b697e730987d2064df0094f7948c52bef
parentf963ec0cea8d5581c7f951fbc38fc42dad662063
Update both the MediaWiki version and the min required PHP version in PHPVersionError.php

Change-Id: Ia7db1c90854b30aee17cc180381fdd9dc2f9c90b
includes/PHPVersionError.php